大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Computer Software Engineering (1976 : New York) 的图书(共10474本)

Logic-Based Program Synthesis and Transformation [electronic resource] : 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers

0
索取号：
作者：Vidal、 Germ谩n.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Social Innovation and New Business Models [electronic resource] : Creating Shared Value in Low-Income Markets

0
索取号：
作者：Michelini、 Laura.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Combinatorial Optimization [electronic resource] : Second International Symposium, ISCO 2012, Athens, Greece, April 19-21, 2012, Revised Selected Papers

0
索取号：
作者：Mahjoub、 A. Ridha.、Markakis、 Vangelis.、Milis、 Ioannis.、Paschos、 Vangelis Th.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Software Testing in the Cloud [electronic resource] : Migration and Execution

0
索取号：
作者：Tilley、 Scott.、Parveen、 Tauhida.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

New Discoveries on the 尾-Hydride Elimination [electronic resource]

0
索取号：
作者：G酶gsig、 Thomas M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

New Frontiers in Artificial Intelligence [electronic resource] : JSAI-isAI 2011 Workshops, LENLS, JURISIN, ALSIP, MiMI, Takamatsu, Japan, December 1-2, 2011. Revised Selected Papers

0
索取号：
作者：Okumura、 Manabu.、Bekki、 Daisuke.、Satoh、 Ken.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Trends in Functional Programming [electronic resource] : 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers

0
索取号：
作者：Pe帽a、 Ricardo.、Page、 Rex.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Defining the Spatial Scale in Modern Regional Analysis [electronic resource] : New Challenges from Data at Local Level

0
索取号：
作者：Fern谩ndez V谩zquez、 Esteban.、Rubiera Moroll贸n、 Fernando.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Speech, Sound and Music Processing: Embracing Research in India [electronic resource] : 8th International Symposium, CMMR 2011, 20th International Symposium, FRSM 2011, Bhubaneswar, India, March 9-12, 2011, Revised Selected Papers

0
索取号：
作者：Ystad、 S酶lvi.、Aramaki、 Mitsuko.、Kronland-Martinet、 Richard.、Jensen、 Kristoffer.、Mohanty、 Sanghamitra.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Advances in Bioinformatics and Computational Biology [electronic resource] : 7th Brazilian Symposium on Bioinformatics, BSB 2012, Campo Grande, Brazil, August 15-17, 2012. Proceedings

0
索取号：
作者：Souto、 Marcilio C.、Kann、 Maricel G.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Intelligent Science and Intelligent Data Engineering [electronic resource] : Second Sino-foreign-interchange Workshop, IScIDE 2011, Xi鈥檃n, China, October 23-25, 2011, Revised Selected Papers

0
索取号：
作者：Zhang、 Yanning.、Zhou、 Zhi-Hua.、Zhang、 Changshui.、Li、 Ying.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Advances in Computer Games [electronic resource] : 13th International Conference, ACG 2011, Tilburg, The Netherlands, November 20-22, 2011, Revised Selected Papers

0
索取号：
作者：Herik、 H. Jaap.、Plaat、 Aske.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Progress in Hybrid RANS-LES Modelling [electronic resource] : Papers Contributed to the 4th Symposium on Hybrid RANS-LES Methods, Beijing, China, September 2011

0
索取号：
作者：Fu、 Song.、Haase、 Werner.、Peng、 Shia-Hui.、Schwamborn、 Dieter.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Formal Verification of Object-Oriented Software [electronic resource] : International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers

0
索取号：
作者：Beckert、 Bernhard.、Damiani、 Ferruccio.、Gurov、 Dilian.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Model Checking Software [electronic resource] : 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings

0
索取号：
作者：Donaldson、 Alastair.、Parker、 David.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Web Engineering [electronic resource] : 12th International Conference, ICWE 2012, Berlin, Germany, July 23-27, 2012. Proceedings

0
索取号：
作者：Brambilla、 Marco.、Tokuda、 Takehiro.、Tolksdorf、 Robert.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.